if(BUILD_USER_DOCUMENTATION)
  add_subdirectory("User Manuals")
endif()
